In the first section, I characterize skeptical theism more fully. This is necessary in order to address some important misconceptions and mischaracterizations that appear in the essays by Maitzen, Wilks, and O’Connor. In the second section, I describe the most important objections they raise and group them into four “families” so as to facilitate an orderly series of responses. In the four sections that follow, I respond to the objections.

This eighth volume of Collected Papers includes 75 papers comprising 973 pages on (theoretic and applied) neutrosophics, written between 2010-2022 by the author alone or in collaboration with the following 102 co-authors (alphabetically ordered) from 24 countries: Mohamed Abdel-Basset, Abduallah Gamal, Firoz Ahmad, Ahmad Yusuf Adhami, Ahmed B. Al-Nafee, Ali Hassan, Mumtaz Ali, Akbar Rezaei, Assia Bakali, Ayoub Bahnasse, Azeddine Elhassouny, Durga Banerjee, Romualdas Bausys, Mircea Boșcoianu, Traian Alexandru Buda, Bui Cong Cuong, Emilia Calefariu, Ahmet Çevik, Chang Su Kim, Victor (...) Christianto, Dae Wan Kim, Daud Ahmad, Arindam Dey, Partha Pratim Dey, Mamouni Dhar, H. A. Elagamy, Ahmed K. Essa, Sudipta Gayen, Bibhas C. Giri, Daniela Gîfu, Noel Batista Hernández, Hojjatollah Farahani, Huda E. Khalid, Irfan Deli, Saeid Jafari, Tèmítópé Gbóláhàn Jaíyéolá, Sripati Jha, Sudan Jha, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Darjan Karabašević, M. Karthika, Kawther F. Alhasan, Giruta Kazakeviciute-Januskeviciene, Qaisar Khan, Kishore Kumar P K, Prem Kumar Singh, Ranjan Kumar, Maikel Leyva-Vázquez, Mahmoud Ismail, Tahir Mahmood, Hafsa Masood Malik, Mohammad Abobala, Mai Mohamed, Gunasekaran Manogaran, Seema Mehra, Kalyan Mondal, Mohamed Talea, Mullai Murugappan, Muhammad Akram, Muhammad Aslam Malik, Muhammad Khalid Mahmood, Nivetha Martin, Durga Nagarajan, Nguyen Van Dinh, Nguyen Xuan Thao, Lewis Nkenyereya, Jagan M. Obbineni, M. Parimala, S. K. Patro, Peide Liu, Pham Hong Phong, Surapati Pramanik, Gyanendra Prasad Joshi, Quek Shio Gai, R. Radha, A.A. Salama, S. Satham Hussain, Mehmet Șahin, Said Broumi, Ganeshsree Selvachandran, Selvaraj Ganesan, Shahbaz Ali, Shouzhen Zeng, Manjeet Singh, A. Stanis Arul Mary, Dragiša Stanujkić, Yusuf Șubaș, Rui-Pu Tan, Mirela Teodorescu, Selçuk Topal, Zenonas Turskis, Vakkas Uluçay, Norberto Valcárcel Izquierdo, V. Venkateswara Rao, Volkan Duran, Ying Li, Young Bae Jun, Wadei F. Al-Omeri, Jian-qiang Wang, Lihshing Leigh Wang, Edmundas Kazimieras Zavadskas. (shrink)

This response addresses the excellent responses to my book provided by Heather Douglas, Janet Kourany, and Matt Brown. First, I provide some comments and clarifications concerning a few of the highlights from their essays. Second, in response to the worries of my critics, I provide more detail than I was able to provide in my book regarding my three conditions for incorporating values in science. Third, I identify some of the most promising avenues for further research that flow out of (...) this interchange. (shrink)

In a recent article in this journal, Abram Brummett argues that new and future assisted reproductive technologies will provide challenging ethical questions relating to lesbian, gay, bisexual and transgender (LGBT) persons. Brummett notes that it is likely that some clinicians may wish to conscientiously object to offering assisted reproductive technologies to LGBT couples on moral or religious grounds, and argues that such appeals to conscience should be constrained. We argue that Brummett's case is unsuccessful because he: does not adequately interact (...) with his opponents’ views; equivocates on the meaning of ‘natural’; fails to show that the practice he opposes is eugenic in any non‐trivial sense; and fails to justify and explicate the relevance of the naturalism he proposes. We do not argue that conscience protections should exist for those objecting to providing LGBT people with artificial reproductive technologies, but only show that Brummett's arguments are insufficient to prove that they should not. (shrink)

This is a review of the book by Henk Woldring Karl Mannheim: the development of his thought Van Gorcum 1986.

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

Will future lethal autonomous weapon systems (LAWS), or ‘killer robots’, be a threat to humanity? The European Parliament has called for a moratorium or ban of LAWS; the ‘Contracting Parties to the Geneva Convention at the United Nations’ are presently discussing such a ban, which is supported by the great majority of writers and campaigners on the issue. However, the main arguments in favour of a ban are unsound. LAWS do not support extrajudicial killings, they do not take responsibility away (...) from humans; in fact they increase the abil-ity to hold humans accountable for war crimes. Using LAWS in war would probably reduce human suffering overall. Finally, the availability of LAWS would probably not increase the probability of war or other lethal conflict—especially as compared to extant remote-controlled weapons. The widespread fear of killer robots is unfounded: They are probably good news. (shrink)

Functional decomposition is an important goal in the life sciences, and is central to mechanistic explanation and explanatory reduction. A growing literature in philosophy of science, however, has challenged decomposition-based notions of explanation. ‘Holists’ posit that complex systems exhibit context-sensitivity, dynamic interaction, and network dependence, and that these properties undermine decomposition. They then infer from the failure of decomposition to the failure of mechanistic explanation and reduction. I argue that complexity, so construed, is only incompatible with one notion of decomposition, (...) which I call ‘atomism’, and not with decomposition writ large. Atomism posits that function ascriptions must be made to parts with minimal reference to the surrounding system. Complexity does indeed falsify atomism, but I contend that there is a weaker, ‘contextualist’ notion of decomposition that is fully compatible with the properties that holists cite. Contextualism suggests that the function of parts can shift with external context, and that interactions with other parts might help determine their context-appropriate functions. This still admits of functional decomposition within a given context. I will give examples based on the notion of oscillatory multiplexing in systems neuroscience. If contextualism is feasible, then holist inferences are faulty—one cannot infer from the presence of complexity to the failure of decomposition, mechanism, and reductionism. (shrink)

This essay examines sections relevant to libertarianism in Will Kymlicka’s Contemporary Political Philosophy: An Introduction (2nd ed.), making and explaining the following criticisms. Kymlicka’s “preface” misconstrues political philosophy’s progress, purpose, and its relation to libertarianism. In his “introduction”, his “project” mistakes libertarianism as “right-wing”, justice as compromise among “existing theories”, and equality as the “ultimate value.” His “a note on method” in effect takes as axioms, beyond philosophical examination, various alleged desiderata and the necessary moral role of the state. Moreover, (...) his “ultimate test” being “our considered convictions” amounts to a conservative and illogical justificationism at odds with radical and coherent critical rationalism. Kymlicka’s chapter on “libertarianism” mistakes it as, inherently and unavoidably, free-marketist, anti-consequentialist, deontological, Nozickian, requiring “a foundational moral premiss, without objective content, unmaximisable, indistinguishable from license, equality-based, anti-anarchist, “self-defeating”, indefensibly “unfair”, impractically “philosophical”, and without influence. A different version of libertarianism easily withstands all Kymlicka’s antipathetic criticisms. (shrink)

This paper presents the main topics, arguments, and positions in the philosophy of AI at present (excluding ethics). Apart from the basic concepts of intelligence and computation, the main topics of ar-tificial cognition are perception, action, meaning, rational choice, free will, consciousness, and normativity. Through a better understanding of these topics, the philosophy of AI contributes to our understand-ing of the nature, prospects, and value of AI. Furthermore, these topics can be understood more deeply through the discussion of AI; so (...) we suggest that “AI Philosophy” provides a new method for philosophy. (shrink)

The philosophy of AI has seen some changes, in particular: 1) AI moves away from cognitive science, and 2) the long term risks of AI now appear to be a worthy concern. In this context, the classical central concerns – such as the relation of cognition and computation, embodiment, intelligence & rationality, and information – will regain urgency.

The standard assumption for what perception must do in order to represent a “higher level” content—say, tiger—is that it must represent the kind as such. I argue that this “as such condition” is not constitutive of what it means for a content to be “higher‐level”, and that embracing it produces a range of unfortunate dialectical consequences. After offering this critique, I give an alternative construal, the “extended perceptual space” view of higher‐level contents. This view captures the phenomena targeted by the (...) “higher‐level content” thesis, is empirically supported, and avoids the negative dialectical consequences of the as such condition. (shrink)

Various prominent theories of pain assume that it is pain’s biological function to inform organisms about damage to their bodies. I argue that this is a mistake. First, there is no biological evidence to support the notion that pain was originally selected for its informative capacities, nor that it currently contributes to the fitness of organisms in this specific capacity. Second, neurological evidence indicates that modulating mechanisms in the nociceptive system systematically prevent pain from serving a primarily informative role. These (...) considerations threaten to undermine standard perceptual and representational accounts of pain. (shrink)

When there are two lines of argument that contradict each other but still end up with the same conclusion, this conclusion is called a floating conclusion. It is an open topic in skeptical defeasible reasoning if floating conclusions ought to be accepted. Inter- estingly, the answer seems to be changing for different examples. In this paper, we propose a solution for explaining the different treatments of the floating conclusion in the various examples from the literature. We collect the examples from (...) the literature, extend them with additional examples and test various hypotheses for explaining the difference by means of the examples. We will argue for a framework that accepts a floating conclusion by default but allows for reasons to deviate from the default in order to reject it. These reasons nicely explain the different underlying patterns of our intuitions. (shrink)

Techniques from behavioral economics—nudges—may help physicians increase pediatric vaccine compliance, but critics have objected that nudges can undermine autonomy. Since autonomy is a centrally important value in healthcare decision-making contexts, it counts against pediatric vaccination nudges if they undermine parental autonomy. Advocates for healthcare nudges have resisted the charge that nudges undermine autonomy, and the recent bioethics literature illustrates the current intractability of this debate. This article rejects a principle to which parties on both sides of this debate sometimes seem (...) committed: that nudges are morally permissible only if they are consistent with autonomy. Instead, I argue that, at least in the case of pediatric vaccination, some autonomy-undermining nudges may be morally justified. This is because parental autonomy in pediatric decision-making is not as morally valuable as the autonomy of adult patients, and because the interests of both the vaccinated child and other members of the community can sometimes be weighty enough to justify autonomy-infringing pediatric vaccination nudges. This article concludes with a set of worries about the effect of pediatric vaccination nudges on parent-physician relationships, and it calls on the American Academy of Pediatrics to draw on scientific and bioethics research to develop guidelines for the use of nudges in pediatric practice and, in particular, for the use of pediatric vaccination nudges. (shrink)

Internationally, there is considerable inconsistency in the recognition and regulation of children's genetic connections outside the family. In the context of gamete and embryo donation, challenges for regulation seem endless. In this paper, I review some of the paths that have been taken to manage children' being closely genetically related to people outside their families. I do so against the background of recognising the importance of children's interests as moral status holders. I look at recent qualitative research involving donor-conceived people (...) and borrow their own words to make sense of a purported interest to know (of) their close genetic ties. I also review ways in which gamete donation may have facilitated new kinds of kinship, which are at the same time genetic and chosen. In short, in this paper, I explore what meaning there could be in genetic connections that is not about parenthood. Further, I argue that the focus on parenthood in previous work in this area may be detrimental to appreciating some of the goods that can be derived from close genetic connections. (shrink)

Grete Hermann’s essay “Die naturphilosophischen Grundlagen der Quantenmechanik” has received much deserved scholarly attention in recent years. In this paper, I follow the lead of Elise Crull who sees in Hermann’s work the general outlines of a neo-Kantian interpretation of quantum theory. In full support of this view, I focus on Hermann’s central claim that limited spatio-temporal, and even analogically causal, representations of events exist within an overall relational structure of entangled quantum mechanical states that defy any unified spatio-temporal description. (...) In my view, Hermann also advances an important transcendental argument that perspectival spatio-temporal representations of nature have their foundations in general relational networks that are not spatio-temporal. The key point is that the adoption of a perspectival system within the general network induces the representation but only for that context. These ideas are consistent with a perspectival subject–object principle in Kant and also with Weyl’s work on Lie groups and their representations. (shrink)

Intersectionality has become the primary analytic tool that feminist and anti-racist scholars deploy for theorizing identity and oppression. This paper exposes and critically interrogates the assumptions underpinning intersectionality by focusing on four tensions within intersectionality scholarship: the lack of a defined intersectional methodology; the use of black women as quintessential intersectional subjects; the vague definition of intersectionality; and the empirical validity of intersectionality. Ultimately, my project does not seek to undermine intersectionality; instead, I encourage both feminist and anti-racist scholars to (...) grapple with intersectionality's theoretical, political, and methodological murkiness to construct a more complex way of theorizing identity and oppression. (shrink)

Vicarious responsibility is a notoriously puzzling notion in normative reasoning. In this article we will explore two fundamental issues, which we will call the “explication problem” and the “justification problem”. The former issue concerns how vicarious responsibility can plausibly be defined in terms of other normative concepts. The latter issue concerns how ascriptions of vicarious responsibility can be justified. We will address these two problems by combining ideas taken from legal theory and moral philosophy. Our analysis will emphasise the importance (...) of the voluntary involvement of the normative parties considered liable in a relation with other normative parties who causally contributed to a prohibited state-of-affairs. (shrink)

Epistemic paternalism is the thesis that a paternalistic interference with an individual's inquiry is justified when it is likely to bring about an epistemic improvement in her. In this article I claim that in order to motivate epistemic paternalism we must first account for the value of epistemic improvements. I propose that the epistemic paternalist has two options: either epistemic improvements are valuable because they contribute to wellbeing, or they are epistemically valuable. I will argue that these options constitute the (...) foundations of a dilemma: either epistemic paternalism collapses into general paternalism, or a distinctive project of justified epistemic paternalism is implausible. (shrink)

Even though co‐parenthood is one of the most significant close personal relationships that people can have, there is relatively little philosophical work on the moral duties that co‐parents owe each other. This may be due to the increasingly questionable assumption, still common in our societies, that co‐parenthood arises naturally from marriage or romantic coupledom and thus that commitment to a co‐parent evolves from a commitment to a marital or romantic partner. In this article, we argue that co‐parenthood should be seen (...) as a relationship in its own right, which generates specific moral duties. Co‐parents should come to explicit agreements with each other regarding the most important areas of potential conflict between them. Such agreements may have to be renegotiated over time. We explore some possible non‐negotiable co‐parental duties such as the duties not to alienate the child from the other parent(s) and not to trap a co‐parent in a particularly vulnerable situation. We consider some legal and societal implications of our argument and, finally, suggest some pragmatic benefits of our proposal. (shrink)

Care este statutul moral al copiilor? Ce înseamnă egalitatea morală dintre copii şi adulți? Care sunt constrângerile pe care le impune acceptarea acestei egalități în ceea ce priveşte felul în care pot fi tratați copiii în familie sau în societate ? Cine are ce fel de responsabilitate pentru copii ? În capitolul de față voi discuta astfel de întrebări. Voi analiza relația dintre copii, părinți şi stat, în dimensiunea ei practică (felul în care ne raportăm la copii), din punct de (...) vedere legal (constrângerile legale asupra felului în care ne raportăm la copii) şi din punct de vedere moral (cum ar trebui să ne raportăm la copii). Voi începe cu o scurtă incursiune în istoria relațiilor dintre copii, părinți, şi stat, atât din punct de vedere legal, cât şi filosofic. Voi prezenta conceptul de statut moral şi ideea de egalitate morală între copii şi adulți. Voi ilustra schimbările sociale şi legislative în ce priveşte acceptarea statutului moral al copiilor şi a egalității morale între copii şi adulți, folosind exemple din România şi Suedia. Voi examina dinamica dintre aspirațiile legale şi morale la care aderă România în ce priveşte statutul moral al copiilor şi normele sociale despre copii, copilărie, şi familie, care nu sunt întotdeauna în acord cu aceste aspirații. Voi urmări apoi schimbările care au avut loc în ultimele decenii în ce priveşte limitele responsabilității parentale. (shrink)

We should not be creating conscious, humanoid agents but an entirely new sort of entity, rather like oracles, with no conscience, no fear of death, no distracting loves and hates.

The theory that all processes in the universe are computational is attractive in its promise to provide an understandable theory of everything. I want to suggest here that this pancomputationalism is not sufficiently clear on which problem it is trying to solve, and how. I propose two interpretations of pancomputationalism as a theory: I) the world is a computer and II) the world can be described as a computer. The first implies a thesis of supervenience of the physical over computation (...) and is thus reduced ad absurdum. The second is underdetermined by the world, and thus equally unsuccessful as theory. Finally, I suggest that pancomputationalism as metaphor can be useful. – At the Paderborn workshop in 2008, this paper was presented as a commentary to the relevant paper by Gordana Dodig-Crnkovic " Info-Computationalism and Philosophical Aspects of Research in Information Sciences". (shrink)

One main goal of argumentation theory is to evaluate arguments and to determine whether they should be accepted or rejected. When there is no clear answer, a third option, being undecided, has to be taken into account. Indecision is often not considered explicitly, but rather taken to be a collection of all unclear or troubling cases. However, current philosophy makes a strong point for taking indecision itself to be a proper object of consideration. This paper aims at revealing parallels between (...) the findings concerning indecision in philosophy and the treatment of indecision in argumentation theory. By investigating what philosophical forms and norms of indecision are involved in argumentation theory, we can improve our understanding of the different uncertain evidential situations in argumentation theory. (shrink)

Is the tendency to morally prioritize humans over animals weaker in children than adults? In two pre-registered studies (N = 622), 5- to 9-year-old children and adults were presented with moral dilemmas pitting varying numbers of humans against varying numbers of either dogs or pigs and were asked who should be saved. In both studies, children had a weaker tendency to prioritize humans over animals than adults. They often chose to save multiple dogs over one human, and many valued the (...) life of a dog as much as the life of a human. While they valued pigs less, the majority still prioritized ten pigs over one human. By contrast, almost all adults chose to save one human over even one hundred dogs or pigs. Our findings suggest that the common view that humans are far more morally important than animals appears late in development and is likely socially acquired. (shrink)

This article aims to present that moral particularism is a viable alternative to the dominant ethics of modernity to the present (i.e., Kantian and utilitarian ethics); theories that have been criticized during the last decades, especially, by the requirement of moral impartiality. The agent in these ethics deliberates impartially due to the universalism of moral principles. I will suggest that moral particularism, insofar as it excludes impartiality as a relevant factor in the agents' deliberations, presents reasons to be a plausible (...) ethics. (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...) I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

In the present article, he explains why divine silence poses a serious intellectual obstacle to belief in God, and then goes on to consider ways of overcoming that obstacle. After considering several ways in which divine silence might actually be beneficial to human beings, he argues that perhaps silence is nothing more or less than God’s preferred mode of interaction with creatures like us. Perhaps God simply desires communion rather than overt communication with human beings, and perhaps God has provided (...) ways for us to experience God’s presence richly even amidst the silence. (shrink)

Recent decades have seen the facilitation of unconventional or even extraordinary reproductive endeavours. Sperm has been harvested from dying or deceased men at the request of their wives; reproductive tissue has been surgically removed from children at the request of their parents; deceased adults’ frozen embryos have been claimed by their parents, in order to create grandchildren; wombs have been transplanted from mothers to their daughters. What is needed for requests to be honoured by healthcare staff is that they align (...) with widely shared expectations about what people’s reproductive potential ought to be, what marital relationships ought to result in, and which kinds of ties are desirable between parents and children. Costly and invasive technologies are not considered excessive when they are used to support the building of appropriate families. However, deviations from dominant reproductive norms, even if technologically simple and convenient to the participants, are unlikely to receive support. In this paper, we offer examples of such deviations and explore their implications. If reproduction is important as a way of creating genetic relationships, should reproductive material in storage be offered to genetic relatives other than the people from whom it originated? And if parents are allowed to have reproductive material collected from their offspring, or even to use it to create babies, should offspring likewise be allowed to use their parents’ reproductive material? We tackle these questions and suggest ways in which interests in genetic ties could be operationalised in a more coherent and less-invasive manner than they currently are. (shrink)

It is often thought that acquiring a phenomenal concept requires having the relevant sort of experience. In "Extending Phenomenal Concepts", Andreas Elpidorou defends this position from an objection raised by Michael Tye (in "Consciousness Revisited: Materialism without Phenomenal Concepts"). Here, I argue that Elpidorou fails to attend to important supporting materials introduced by Tye.

This chapter analyzes the concept of an event and of event representation as an umbrella notion. It provides an overview of different ways events have been dealt with in philosophy, linguistics, and cognitive science. This variety of positions has been construed in part as the result of different descriptive and explanatory projects. It is argued that various types of notions — common-sense, theoretically revised, scientific, and internalist psychological — be kept apart.

In this paper we argue that Socrates is a cognitivist about emotions, but then ask how the beliefs that constitute emotions can come into being, and why those beliefs seem more resistant to change through rational persuasion than other beliefs.

This essay examines sections relevant to libertarianism in Will Kymlicka’s Contemporary Political Philosophy: An Introduction (2nd ed.), making and explaining the following criticisms. Kymlicka’s “preface” misconstrues political philosophy’s progress, purpose, and its relation to libertarianism. In his “introduction”, his “project” mistakes libertarianism as “right-wing”, justice as compromise among “existing theories”, and equality as the “ultimate value.” His “a note on method” in effect takes as axioms, beyond philosophical examination, various alleged desiderata and the necessary moral role of the state. Moreover, (...) his “ultimate test” being “our considered convictions” amounts to a conservative and illogical justificationism at odds with radical and coherent critical rationalism. Kymlicka’s chapter on “libertarianism” mistakes it as, inherently and unavoidably, free-marketist, anti-consequentialist, deontological, Nozickian, requiring “a foundational moral premiss, without objective content, unmaximisable, indistinguishable from license, equality-based, anti-anarchist, “self-defeating”, indefensibly “unfair”, impractically “philosophical”, and without influence. A different version of libertarianism easily withstands all Kymlicka’s antipathetic criticisms. (shrink)

“Critical-Rationalist Libertarianism” (CRL) was replied to in “Libertarianism Without Argument” (the reply). Various points in that text are here given responses. Both critical rationalism and how it applies to libertarianism are elucidated and elaborated. This response will proceed by quoting the reply where relevant (virtually all of it) and then responding immediately after the quotations, following the order of the reply’s very brief “critique” (605 words).

This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they are specified such (...) that they do not have output states, or they are specified such that they do have output states, but involve contradiction. Repairs though non-effective methods or special rules for semi-decidable problems are sought, but not found. The paper concludes that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection of the Church-Turing thesis in its traditional interpretation. (shrink)

This book reports on the results of the third edition of the premier conference in the field of philosophy of artificial intelligence, PT-AI 2017, held on November 4 - 5, 2017 at the University of Leeds, UK. It covers: advanced knowledge on key AI concepts, including complexity, computation, creativity, embodiment, representation and superintelligence; cutting-edge ethical issues, such as the AI impact on human dignity and society, responsibilities and rights of machines, as well as AI threats to humanity and AI safety; (...) and cutting-edge developments in techniques to achieve AI, including machine learning, neural networks, dynamical systems. The book also discusses important applications of AI, including big data analytics, expert systems, cognitive architectures, and robotics. It offers a timely, yet very comprehensive snapshot of what is going on in the field of AI, especially at the interfaces between philosophy, cognitive science, ethics and computing. (shrink)

Ordinary reasoning about space—we argue—is first and foremost reasoning about things or events located in space. Accordingly, any theory concerned with the construction of a general model of our spatial competence must be grounded on a general account of the sort of entities that may enter into the scope of the theory. Moreover, on the methodological side the emphasis on spatial entities (as opposed to purely geometrical items such as points or regions) calls for a reexamination of the conceptual categories (...) required for this task. Building on material presented in an earlier paper, in this work we offer some examples of what this amounts to, of the difficulties involved, and of the main directions along which spatial theories should be developed so as to combine formal sophistication with some affinity with common sense. (shrink)

The paper examines two possible analyses of fictional names within Pavel Tichý’s Transparent Intensional Logic. The first of them is the analysis actually proposed by Tichý in his (1988) book The Foundations of Frege’s Logic. He analysed fictional names in terms of free variables. I will introduce, explain, and assess this analysis. Subsequently, I will explain Tichý’s notion of individual role (office, thing-to-be). On the basis of this notion, I will outline and defend the second analysis of fictional names. This (...) analysis is close to the approach known in the literature as role realism (the most prominent advocates of this position are Nicholas Wolterstorff, Gregory Currie, and Peter Lamarque). (shrink)

K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in the empirical sciences, (...) given the condition of logical maximalism. Apparently, if one ought to use the strongest logic in the empirical sciences, logic would remain immune to criticism and, thus, non-revisable. I will show that critical rationalism is theoretically compatible with a revision of logic in the empirical sciences. However, a question that remains to be clarified by the critical rationalists is what kind of evidence would lead them to revise the system of logic that underlies a physical theory, such as quantum mechanics? Popper’s falsificationist methodology will be compared with the recently advocated extension of the abductive methodology from the empirical sciences to logic by T. Williamson, since both of them arrive at the same conclusion concerning the status of classical logic. (shrink)

The following argument is widely assumed to be invalid: there is a pain in my finger; my finger is in my mouth; therefore, there is a pain in my mouth. The apparent invalidity of this argument has recently been used to motivate the conclusion that pains are not spatial entities. We argue that this is a mistake. We do so by drawing attention to the metaphysics of pains and holes and provide a framework for their location which both vindicates the (...) argument's validity and explains why it appears invalid. To this end, we show that previously proposed explanations for the apparent invalidity of the argument fail. Moreover, we show that our account accommodates and explains seemingly opposing linguistic data. We conclude that the ‘pain-in-mouth argument’ does not undermine the view that pains are spatial entities. (shrink)

The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and control (...) the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (shrink)

Warning: includes two somewhat graphic images. This paper is an effort to lay out a taxomony of conceptual relations between the domains of the sublime and the religious. -/- .

The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the proof-theoretical side, (...) two main approaches for solving the categoricity problem for propositional classical logic consist in the enforcement of the formal systems of this logic by introducing rules of inference of a new kind. A multiple-conclusions logic allows rules of inference with more than one conclusion, while a bilateralist system contains rules of inference formulated in terms of assertion and rejection. Both these approaches reveal interesting formal features of logical reasoning. This paper analyses some of the advantages and limitations of these two approaches as solutions for a full formalization of logic, i.e., for a categorical formalization. (shrink)

The paper examines the loss of African identity within the modern/ contemporary era. African identity has been a recurrent theme in all domains of African studies, serving as a major intellectual concern of many African scholars. Debates on the reality of African Philosophy are anchored on the questions surrounding African identity giving rise to thoughts and contents of that philosophy. Despite the volumes already generated on the theme, the controversial circumstances that engendered the subject of African identity makes its intellectual (...) concern sustainable and almost inexhaustible. The question of African identity is basically an ontological question of the reality of Africa cum the being of an African. The series of infiltration and appraisals of Africa by foreign elements tend to plunge the continent into crises of identity. In addition to the various approaches to the subject, the nature-culture perspective presents the argument that if culture is ideally the product of a people’s nature, African culture represents the objective manifestation of the Africanity of the continent and its organic/holistic content. Such frame of thought embellished with philosophic tools provides further locus for a more feasible and stable definition of African identity as the holistic nature and character of being African. (shrink)

In recent decades, behavioral sciences have introduced into economic theories of choice the image of weak willed individuals with limited rationality, whose decisions are affected by systematic errors. From here, theorists of libertarian paternalism originate the thesis of the possibility of State interventions that promote citizens’ welfare by conditioning their choices while, at the same time, safeguarding their freedom. The Author asserts that such a public promotion of individual welfare is equivalent to the transformation of the welfare State into a (...) paternalistic State and that its theorists aim to avoid the debate about the conflict between exercising liberty and containing the public expenditure which is necessary to protect social rights. (shrink)

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

This paper is a short introduction to Carnap’s writings on semantics with an emphasis on the transition from the syntactic period to the semantic one. I claim that one of Carnap’s main aims was to investigate the possibility of the symmetry between the syntactic and the semantic methods of approaching philosophical problems, both in logic and in the philosophy of science. This ideal of methodological symmetry could be described as an attempt to obtain categorical logical systems, i.e., systems that allow (...) only the intended semantical interpretation. (shrink)